Canonical Bases for Algebraic Computations
نویسندگان
چکیده
We investigate, for quotients of the non-commutative polynomial ring, a property that implies finiteness of Gröbner bases computation, and examine its connection with Noetherianity. We propose a Gröbner bases theory for our factor algebras, of particular interest for one-sided ideals, and show a few applications, e.g. how to compute (one-sided) syzygy modules.
منابع مشابه
Quantum Supergroups Ii. Canonical Basis
Following Kashiwara’s algebraic approach, we construct crystal bases and canonical bases for quantum supergroups of anisotropic type and for their integrable modules.
متن کاملChallenging Computations of Hilbert Bases of Cones Associated with Algebraic Statistics
Challenging Computations of Hilbert Bases of Cones Associated with Algebraic Statistics Winfried Brunsa; Raymond Hemmeckeb; Bogdan Ichimc; Matthias Köpped; Christof Sögera a Universität Osnabrück, FB Mathematik/Informatik, Osnabrück, Germany b Zentrum Mathematik, M9, Technische Universität München, Garching, Germany c Institute of Mathematics, Bucharest, Romania d Davis, Department of Mathemati...
متن کاملLinear Algebraic Approach to H-basis Computation
Macaulay introduced the notion of H-bases [2]. His original motivation was the transformation of systems of polynomial equations into simpler ones. The power of this concept was not really understood presumably because of the lack of facilities for symbolic computations. Later Buchberger invented Gröbner bases for computing multiplication tables for factor rings [1]. When Computer Algebra Syste...
متن کاملComputations in APS
Algebraic programming system APS integrates four main paradigms of computations: procedural , functional, algebraic (rewriting rules) and logical. All of them may be used in diierent combinations on diierent levels of implementation. Formal models used in the developing computational techniques for APS are presented and discussed. It includes data structures, algebraic modules, rewriting and co...
متن کاملSymbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is base...
متن کامل